package algebra.rewriting;

import algebra.op.AlgebraicOP;

public abstract class RewriteRule {

	// returns null if failing to rewrite
	public abstract AlgebraicOP rewrite();

	// check if the rule is applicable
	public abstract boolean applicable();

}
